$\forall$$T$:Type, $l$:($T$ List), $x$:$T$. no\_repeats($T$; cons($x$; $l$)) $\Leftarrow\!\Rightarrow$ (no\_repeats($T$; $l$) $\wedge$ ($\neg$($x$ $\in$ $l$)))